Computational expressiveness of Genetic Systems
نویسندگان
چکیده
منابع مشابه
Computational Modeling for Genetic Splicing Systems
A genetic splicing system involves DNA molecules mixed with enzymes and a ligase that allow the molecules to be cleaved and recombined to produce other molecules in addition to the original ones. Recently, using formal language theory, several researchers have investigated the string properties of DNA molecules that may potentially arise from the original set of molecules under the effect of th...
متن کاملExpressiveness of Definitions and Efficiency of Constructions in Computational Cryptography
Title of dissertation: EXPRESSIVENESS OF DEFINITIONS AND EFFICIENCY OF CONSTRUCTIONS IN COMPUTATIONAL CRYPTOGRAPHY David Omer Horvitz Doctor of Philosophy, 2007 Dissertation directed by: Professor Virgil Gligor Department of Electrical and Computer Eng. Professor Jonathan Katz Department of Computer Science The computational treatment of cryptography, and indeed any scientific treatment of a pr...
متن کاملComputational models of language universals: Expressiveness, learnability and consequences
Every linguist is struck by similarities among even the most different and most culturally isolated human languages. It is natural to assume that some of these common properties, these language universals, might reflect something about the way people can learn and use languages. In some relevant sense, some of these properties may arise and be maintained even in culturally isolated languages be...
متن کاملExpressiveness and Complexity of Formal Systems
Formalization has a central role in computer science. Communication between man and computers as well as information processing within computer systems require that concepts and objects of the application domain are formally represented through some artificial language. In the last fifty years, the development of formal models has concerned practically all aspects of human life, from computing ...
متن کاملEnhancing the Expressiveness of Spider Diagram Systems
Many visual languages based on Euler diagrams have emerged for expressing relationships between sets. The expressive power of these languages varies, but the majority are monadic and some include equality. Spider diagrams are one such language, being equivalent in expressive power to monadic first order logic with equality. Spiders are used to represent the existence of elements or specific ind...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2009
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2008.09.041